\begin{tabbing}
ma{-}random($M$;$T$;$v$;$i$;$a$;$n$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}val(\=IdDeq;\+
\\[0ex](($M$.2.2.2.2.2.2.2.2.2.2.2).1);
\\[0ex]$a$;
\\[0ex]$a$,$p$.(($T$ $\subseteq$r p{-}outcome($p$)) c$\wedge$ ($v$ = random\{2:n\}($p$; $i$; $a$)($n$) $\in$ p{-}outcome($p$))))
\-
\end{tabbing}